<script src={{ "js/asciinema-player.js" | absURL }}></script>

<!-- script to preserve and restore the side menu scroll position -->
<script > 
    (function() {
      var a = document.querySelector("#td-section-nav");
      addEventListener("beforeunload", function(b) {
          localStorage.setItem("menu.scrollTop", a.scrollTop)
      }), a.scrollTop = localStorage.getItem("menu.scrollTop")
    })()
  </script>
  
